Chinese translation for "the undecidability of first-order logic"

一阶逻辑的不可判定性

Related Translations:

undecidability:  n.【逻辑学】【数学】不可决定性〔指以某系统的公理既不能证明某命题的成立，又不能证明其不成立的情况〕。

undecidability theorem:  不可判定性定理

essential undecidability:  本质不可判定性

logic:  n.1.逻辑，理论学。2.推理[方法]；逻辑性，条理性。3. 威力，压力，强制(力)。 短语和例子deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure

logics:  逻辑学

Similar Words：

"the uncivilized" Chinese translation, "the uncollected poems" Chinese translation, "the uncool" Chinese translation, "the undaunted wudang" Chinese translation, "the undead" Chinese translation, "the underbog" Chinese translation, "the undercity" Chinese translation, "the underclassman" Chinese translation, "the undercroft" Chinese translation, "the underdog" Chinese translation